#include <firmware/chibios/os/hal/platforms/STM32L1xx/stm32l1xx.h>
Register key (VECTKEY) - Reads as 0xFA05 (VECTKEYSTAT)